module type ICONTAINER = sig val lazyML : unit -> unit end
module CONTAINER : ICONTAINER
